Semantics-Based Composition of Class Hierarchies
نویسندگان
چکیده
Class hierarchy composition aims at constructing software systems by composing a set of class hierarchies into an executable system. Current composition algorithms cannot provide semantic guarantees. We present a composition algorithm, together with an interference criterion and its correctness proof, which guarantees that behavior of the original hierarchies is preserved for interference-free compositions. In case of interference, an impact analysis can determine the consequences of integration. The method is based on existing program analysis technology and is illustrated by various examples.
منابع مشابه
Object Composition in Scenario-Based Programming
We investigate the classical notion of object composition in the framework of scenario-based specification and programming. We concentrate on live sequence charts (LSC), which extend the classical partial order semantics of sequence diagrams with universal/existential and must/may modalities. In order to tackle object composition, we extend the language with appropriate syntax and semantics tha...
متن کاملEfficient query processing with associated horizontal class partitioning in an object relational data warehousing environment
In an Object Relational Data Warehousing (ORDW) environment, the semantics of data and queries can be explicitly captured, represented, and utilized based on is-a and class composition hierarchies, thereby resulting in more efficient OLAP query processing. In this paper, we show the efficacy in building semantic-rich hybrid class partitions by incorporating the Associated Horizontal Class Parti...
متن کاملSemantic Hierarchy Refactoring by Abstract Interpretation
A semantics-based framework is presented for the definition and manipulation of class hierarchies for object-oriented languages. The framework is based on the notion of observable of a class, i.e., an abstraction of its semantics when focusing on a behavioral property of interest. We define a semantic subclass relation, capturing the fact that a subclass preserves the behavior of its superclass...
متن کاملSemantic Query Optimization based on Class Partitioning Techniques in an Object Relational Data Warehousing Environment*
The conventional star schema model of Data Warehouse (DW) has its limitations due to the nature of the relational data model. Firstly, this model cannot represent the semantics and operations of multi-dimensional data adequately. Due to the hidden semantics, it is difficult to efficiently address the problems of view design. Secondly, as we move up to higher levels of summary data (multiple com...
متن کاملA View Environment to Reuse Class Hierarchies in an Object-Oriented Database System
Many studies of interactive environments of object-oriented databases are based on extensions to declarative query languages, designed for relational databases. Such environments do not use well the characteristics of the object-oriented databases. In this paper, we introduce an environment that allows users to construct tailored class hierarchies, which represent both the users’ views and the ...
متن کامل